Formele logika verwys na die sistematiese studie van geldige redenasie en afleiding deur die gebruik van formele sisteme en simboliese taal. Dit is gemoeid met die reëls en beginsels wat die struktuur van argumente en die geldigheid van deduktiewe redenasie beheer. In formele logika word stellings voorgestel deur simbole en logiese operatore te gebruik, en afleidings word gemaak deur gebruik te maak van gevestigde reëls van afleiding. Formele logika word gebruik in wiskunde, rekenaarwetenskap, filosofie en ander velde waar presiese en streng redenasie vereis word.